检索结果

Select

1. 基于用户感兴趣区域的地理不可区分性的位置扰动算法

罗惠雯, 龙士工

计算机应用 2020, 40 (3): 760-764. DOI: 10.11772/j.issn.1001-9081.2019071313

摘要（775）

PDF （716KB）（543）

随着物联网（IoT）技术的快速发展，针对个人位置隐私泄露的问题，提出了一种基于用户感兴趣区域的地理不可区分性（GROI）的位置扰动算法。首先，添加服从平面拉普拉斯分布的随机噪声到用户的真实位置上；然后，通过离散化操作得到近似位置；再次，根据给定的感兴趣区域（ROI）对查询结果进行清洗，在保证机制可用性程度不变的情况下，进一步减小查询误差；最后，在谷歌地图查询上进行了实验验证，与地理不可区分性位置隐私保护算法相比，设计的扰动算法能够在6.0 km的检索范围内，将查询结果的平均误差降低了至少2%，在隐私保护水平不低于地理不可区分性算法的前提下，所提算法的查询结果的准确性优于地理不可区分性算法，尤其针对近距离检索，该算法能够减小查询误差。

参考文献 | 相关文章 | 多维度评价

Select

2. 密码协议的Promela语言建模及分析

龙士工，王巧丽，李祥

计算机应用 2005, 25 (07): 1548-1550. DOI: 10.3724/SP.J.1087.2005.01548

摘要（1167）

PDF （460KB）（782）

给出了利用SPIN模型检测分析密码协议的一般方法。作为一个实例，对NeedhamSchroeder 公钥密码协议用Promela语言建模，并利用SPIN进行了分析验证，发现了其安全漏洞。该方法很容易推广到有多个主体参与的密码协议的分析

参考文献 | 相关文章 | 多维度评价

Select

3. 密码协议的符号模型检测及分析

龙士工，罗文俊，李祥

计算机应用 2005, 25 (01): 138-140. DOI: 10.3724/SP.J.1087.2005.0138

摘要（989）

PDF （149KB）（1161）

对密码协议模型检测的方法作了理论上的研究,并用SMV检测工具给出了一个实际分析的例子。结果表明,利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。